package fsmCore;

import java.io.Serializable;

public class Stato implements Serializable {

	private static final long serialVersionUID = 1L;
	// nome dello stato
	private String nome;
	// identifica se lo stato � finale o no
	private Boolean finale;
	
	//@ requires non_null nome && non_null finale
	public Stato(String nome, Boolean finale){
	this.nome=nome;
	this.finale=finale;
	}


	public String getNome() {
		return nome;
	}

	//@ requires non_null nome
	public void setNome(String nome) {
		this.nome = nome;
	}


	public Boolean isFinale() {
		return finale;
	}

	//@ requires non_null finale
	public void setFinale(Boolean finale) {
		this.finale = finale;
	}
	
	public String toString(){
		return nome + "  Finale: " + finale.toString();
	}
	
	//@ requires not_null s
	public boolean equals(Stato s){
		if(nome.equalsIgnoreCase(s.getNome())) // stesso stato
			return true;
		else
			return false;
	}
}
